20

Falsa demonstratio — nocet: Marginalien zur Diskussion um die Zulassungsrevision in Zivilsachen

Year:
1974
Language:
german
File:
PDF, 980 KB
german, 1974
41

Proofs of randomized algorithms in Coq

Year:
2009
Language:
english
File:
PDF, 1.05 MB
english, 2009
42

Preface

Year:
2011
Language:
english
File:
PDF, 170 KB
english, 2011